A finite model property for RMImin

It is proved that the variety of relevant disjunction lattices has the finite embeddability property. It follows that Avron's relevance logic RMI _min has a strong form of the finite model property, so it has a solvable deducibility problem. This strengthens Avron's result that RMI _min is decidable. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

环保意识调查问卷的Logistic模型

本文应用多元统计分析中的方差分析 ,logistic模型等方法对环保意识调查问卷反馈的信息进行统计分析 ,建立被调查企业对环境保护意识的logistic模型 ,进而可对企业家的环境保护意识的好坏进行判断。     

Clifford Analysis Techniques for Spherical PDE

For a ? R\alpha \in \mathbf{R}, the class of a-\alpha -order spherical harmonic functions in an open set W í\Omega \subseteq S^n-1\mathbf{S}^{n-1}, H^a(W)H^{\alpha }(\Omega ) is defined as the C²-C^{2}-solutions of D_au=0\Delta _{\alpha }u=0; where D_a=D_s+a(n+a-2)\Delta _{\alpha }=\Delta _{s}+\alpha (n+\alpha -2) is the spherical Laplace--Beltrami operator of order a\alpha and D_s\Delta _{s} is the radially independent part of the Laplace operator. We obtain a Green's integral formula for the functions in H^a(W)H^{\alpha }(\Omega ) with kernel expressed as a Gegenbauer function. As generalizations, higher order spherical iterated Dirac operators are defined in a polynomial form. Integral representations of the null solutions to these operators and an intertwining formula relating these operators on the sphere and their analogues in Euclidean space are presented.     

自制金割效应物理摆的研究性实验

金割效应物理摆是将数学中的优选法与物理实验中的复摆结合起来并用计算机处理数据的自制教学仪器.把金割效应物理摆作为研究性实验进行开设,更有利于培养学生的开拓精神和创新能力.     

Active long pulse shaping technique of pulsed CO2 laser using multi-pulse discharge control

We describe the pulse forming of pulsed CO₂ laser using multi-pulse superposition technique. Various pulse shapes, high duty cycle pulse forming network (PFN) are constructed by time sequence. This study shows a technology that makes it possible to make various long pulse shapes by activating SCRs of three PFN modules consecutively at a desirable delay time with the aid of a PIC one-chip microprocessor. The power supply for this experiment consists of three PFN modules. Each PFN module uses a capacitor, a pulse forming inductor, a SCR, a high voltage pulse transformer, and a bridge rectifier on each transformer secondary. The PFN modules operate at low voltage by driving the primary of HV pulse transformer. The secondary of the transformer has a full-wave rectifier, which passes the pulse energy to the load in a continuous sequence.We investigated various long pulse shapes as different trigger time intervals of SCRs among three PFN modules. As a result, we could obtain laser beam with various pulse shapes and durations from about 250 to 1000 μs.     

Two-dimensional Anhydrous Cadmium(II) Phthalate

The in situ hydrolysis of phthalyl-γ-glutaminyl-histidine with Cd(ClO₄)₂·6H₂O in the presence of water and methanol affords a novel two-dimensional cadmium coordination polymer, a new phase, anhydrous cadmium(II) phthalate, ( 1 ). The structure was determined by single crystal X-ray diffraction. Crystal data: P2₁/c, a = 13.8168(14), b = 7.0351(7), c = 8.2054(8) Å, β = 105.540(2)°, V = 768.43(13) ų, Z = 4, R₁ = 0.0380, wR₂ = 0.1111.     

一类积分不等式的推广

对一些基本的积分不等式进行了推广，给出了含有n个无关变元的更广泛的非线性积分不等式．利用所得的不等式讨论了某些非线性积分方程解的有界性．     

Efficient microwave induced direct α-halogenation of carbonyl compounds

A novel and direct method for the synthesis of α-halocarbonyl compounds using sequential treatment of carbonyl compounds with [hydroxy(tosyloxy)iodo]benzene followed by magnesium halides under solvent-free microwave irradiation conditions is described.     

Synthesis of 2-substituted indoles by palladium-catalyzed heteroannulation with Pd-NaY zeolite catalysts

Various 2-substituted indoles were prepared by heteroannulation of o-iodoanilines and terminal alkynes in a one-pot reaction with a Pd(II)-NaY zeolite catalyst. The product formation largely depended on the solvent, base, and reaction temperature. The recycled catalyst showed good reusability in the heteroannulation reaction.